ReScript's Generalized Algebraic Data Types
rescript-lang.org·5h·
Discuss: Hacker News
🦀Rust
The Aider Local Model Experience
hexeditreality.com·1h·
Discuss: Hacker News
🦀Rust
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·10h·
Discuss: Hacker News
🦀Rust
Parameters and binding forms should be mutually recursive
samestep.com·1h·
Discuss: Hacker News
🦀Rust
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·1d·
Discuss: Hacker News
🔒Cryptography
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·10h·
Discuss: Hacker News, r/programming, r/webdev
🐛Vulnerability Research
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·8h·
Discuss: Hacker News
🔒Cryptography
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: Dochia – CLI tool for automatic negative and boundary API testing
news.ycombinator.com·6h·
Discuss: Hacker News
🦀Rust
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·3h·
Discuss: Hacker News
🦀Rust
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·1d·
Discuss: Hacker News
🐛Vulnerability Research
Data processing pipeline for MIMIC-IV an open electronic health record dataset
proceedings.mlr.press·2d·
Discuss: Hacker News
🐛Vulnerability Research
We built an interpreter for Swift (a compiled language)
bitrig.app·1d·
Discuss: Hacker News, r/programming
🦀Rust
Content Query Languages
deanebarker.net·22h·
Discuss: Hacker News
🦀Rust
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·1d·
Discuss: Hacker News
🦀Rust
Rust for Linux – Encoding the trust of data in the type system
lwn.net·23h·
Discuss: Hacker News
🦀Rust
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·2h·
Discuss: Hacker News
🦀Rust
Radicle 1.4.0
radicle.xyz·9h·
Discuss: Lobsters, Hacker News
🦀Rust
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust